Mathematical problem - PDFSEARCH.IO - Document Search Engine

Mathematical problem
Results: 2693

#	Item
141	Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription Mikol´ aˇs Janota1 , Radu Grigore2, and Joao Marques-Silva3 1 Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Logic Mathematics Abstraction Mathematical logic Logical truth Propositional calculus Formal languages Automated theorem proving Substitution Constructible universe Well-formed formula Boolean satisfiability problem
142	Literaturverzeichnis 1. Alizadeh, F): A sublinear-time randomized parallel algorithm for the maximum clique problem in perfect graphs. Proceedings of the second ACMSIAM Symposium on Discrete Algorithms 2. Alizade Add to Reading List Source URL: www.opt.uni-duesseldorf.de Language: English - Date: 2003-10-16 08:07:54 Mathematical optimization Numerical analysis Mathematical analysis Linear programming Convex optimization Interior point method Quadratic programming Global optimization Robert J. Vanderbei Quasi-Newton method Nonlinear programming Linear matrix inequality
143	Problem Set 4: Analysis of the 2004 Sumatra-Andaman earthquake Part 1: Instrument response and spectral analysis GEOS 626: Applied Seismology, Carl Tape Assigned: February 8, 2016 — Due: February 22, 2016 Last compiled Add to Reading List Source URL: www.giseis.alaska.edu Language: English - Date: 2016-03-07 12:24:00 Mathematical analysis Analysis Mathematics Fourier analysis Digital signal processing Signal processing Statistical theory Time series analysis Window function
144	¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning II” Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2013-08-19 07:30:22 Logic Logical truth Mathematical logic Theoretical computer science Model theory Automated theorem proving Logic programming Philosophy of logic Satisfiability Substitution Boolean satisfiability problem
145	Issues in Multimedia Authoring Lecture 10: Limitations of Computers Keith Douglas Summary Add to Reading List Source URL: philosopher-animal.com Language: English - Date: 2007-04-18 22:48:16 Mathematics Theoretical computer science Theory of computation Structural complexity theory Computability theory Halting problem Mathematical proof Undecidable problem Negation Reductio ad absurdum Reduction Square root of 2
146	107 Documenta Math. A Brief History of Linear and Mixed-Integer Programming Computation Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2012-07-25 10:24:47 Operations research Mathematical optimization Mathematics Numerical analysis Linear programming CPLEX Algorithm Simplex algorithm Simplex Integer programming MPS Travelling salesman problem
147	All-Termination(SCP) Panagiotis Manolios and Aaron Turon Northeastern University {pete,turon}@ccs.neu.edu Abstract. We recently introduced the All-Termination(T ) problem: given a termination solver T and a function F , Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2010-01-10 16:47:16 Mathematical analysis Mathematics Analysis Functions and mappings Computability theory Static program analysis Termination analysis Big O notation Derivative Bijection Expected value Recursion
148	2nd Student Workshop on Ecology and Optics of Coastal Zones, 2016 Kaliningrad, Russia, 19-23 JulyCLUSTER-BASED APPROACH TO THE SOLUTION OF THE INVERSE Add to Reading List Source URL: www.earsel.org Language: English - Date: 2016-06-28 13:11:01 Chemistry Statistics Applied mathematics Artificial neural networks Computational neuroscience Raman scattering Mathematical psychology Self-organizing map Chemometrics Raman spectroscopy Salt Inverse problem
149	KwonFrieszAmericanOptionsRevision2LaTeX.dvi Add to Reading List Source URL: www.chkwon.net Language: English - Date: 2016-08-04 11:55:32 Mathematical analysis Operator theory Mathematics Partial differential equations Calculus Free boundary problem Hilbert space NeumannPoincar operator Differential forms on a Riemann surface
150	199 Documenta Math. Flinders Petrie, the Travelling Salesman Problem, and the Beginning of Mathematical Modeling Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2012-07-29 04:14:08 Archaeology Humanities Coding theory Computer arithmetic Error detection and correction Dating methodologies in archaeology Predynastic Egypt Flinders Petrie Seriation Naqada culture Typology Travelling salesman problem

UPDATE